A Dynamic Semantics for Sense Extension

Sense extension, speci cally as required in the generation of metaphor, presents a problem for formalization of a linguistic domain as it requires dynamic interpretation of predicates. We extend a classical model of formalisation to incorporate generation of metaphor. This involves complicating I, the interpretation function, by threading it through each clause where it could potentially be extended by a sense extension of the object interpreted. Further extensions include incorporating predication constructs of the copula is in the language and maintaining monotonicity in entailments for literal predicates. This work has application in other areas of linguistic analysis that involve sense extension.